1. A Short introduction to modal logic
پدیدآورنده: Mints, Grigori E.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Modality )Logic(
رده :
P
25
.
C28
No
.
30


2. A short introduction to intuitionistic logic
پدیدآورنده: Mints, Grigori E.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Intuitionistic mathematics
رده :
QA
9
.
47
.
M56S5

